How To Prove A Set Is Closed Under Vector Addition